脉冲微分系统关于部分变元的强稳定性

介绍了一种新的稳定性——脉冲微分系统的解关于部分变元的强稳定性,并进而讨论了该类稳定性问题. 首先建立了两个重要的引理,然后再借助于逐段连续的Lyapunov函数,得到了脉冲微分系统的零解关于部分变元强稳定性的一些判定定理.最后阐述了这些定理的应用.      

军用航空有机玻璃热分析动力学研究

对某型号军用飞机上航空有机玻璃用热重-差热(TG-DTA)分析仪进行了热分析动力学研究,实验在不同的氧气浓度(5%,10%,15%,21%)和升温速率(15℃/min,30℃/min)条件下进行,用改良的Coats-Redfern法计算出了动力学参数,用Doyle法计算理论失重值。研究发现表观活化能和频率因子都随氧浓度的下降而增加,在升温度速率分别为15℃/min和30℃/min条件下当氧浓度变化时表观活化能分别为100~108kJ/mol和87~92kJ/mol,而频率因子分别为(7~35)10⁶/s和(0.4~1)10⁶/s。计算结果很好的吻合了实验结果。     

一种面向运载火箭自动对接的三维测量场构建方法

旋转激光自动经纬仪系统(R-LATs)是一种基于前方角度交汇的分布式大尺寸测量系统。各激光扫描基站的布局位置直接影响着测量区域内的测量精度和应用性能。从测量区域的测量不确定度量化着手,利用蒙特卡罗法获取各点的测量不确定度,以测量区域的最大不确定度作为主要优化目标,利用差分进化算法自动寻优,更简单有效地实现了面向运载火箭自动对接的R-LATs系统布站优化。最后进行了运载火箭对接测量场的实际应用验证。应用结果表明:该方法能有效优化激光扫描基站布局,提高系统测量精度,满足实际应用需求。     

运用关系代数理论解析接口底层实现机制

接口是面向对象范式和工程领域中的重要概念,认识其实现原理和内部机制有利于提高软件实践过程中的设计开发能力。首先,从普通的接口调用语句的汇编命令入手,描述了接口的使用方法和外在特征;其次,运用数据模型和关系代数等关系理论技术,分析探讨了接口底层机制的实现原理;再次,给出了2种可能的接口实现机制,通过对比分析确立了比较接近真实的底层实现机制,并分析了其静态结构、执行过程及其他特点;最后,相关试验结果表明该模型机制能够满足软件底层体系结构要求并解释了软件的相关呈现现象,从而证明了推断过程和结果的正确性。     

弹道跟踪数据融合处理的快速算法

针对弹道跟踪数据融合处理中的大计算量环节研究了快速算法。用样条函数表示弹道参数,建立了多测元的联合观测模型和弹道参数的非线性融合计算模型,给出了弹道参数的求解算法,分析了弹道参数融合计算中的大型矩阵运算问题,利用基础线性代数函数库提高了大型矩阵的运算速度。建立了样条模型计算的非线性约束优化模型,给出了确定样条节点位置的优化算法,通过分析样条模型的计算原理设计了并行算法,实现了样条模型的并行化计算。仿真结果表明,弹道参数融合计算和样条模型计算的效率都得到了显著提高,计算时间减少了65.47%,对缩短数据处理周期有重要意义。     

基于解析法的用户差分距离误差解算方法(英文)

为了进一步增强星基导航系统的完好性性能,提出了一种基于解析法的用户差分距离误差计算方法。文中首先介绍了卫星时钟和星历改正数的计算方法,认为计算用户差分距离误差的关键是查找卫星服务区域内的最差用户位置。通过变换卫星时钟和星历误差协方差矩阵,将查找最差用户位置变换成一个解析几何问题,通过数学推导得出最差用户位置的解析式,进而求解用户差分距离误差。通过计算机仿真对比了解析法和遍历法之间的性能差异,结果表明:解析法的正确性由遍历法得到了验证,解析法可以减少90%的运行时间并且具有更低的计算复杂度,便于工程实现。     

磨削丝锥尾方专用机床头架结构原理设计

对于丝锥尾方的加工可以采用磨削的方法，欲实现尾方加工过程的自动化，则磨削尾方专用机床的头架，因其动能是夹持工件，所以在加工过程中必须能自动分度。俗实现此目的，其头架结构可以采用差动轮系。行星轮上装有弹簧夹头以夹持工作，系杆H与行星轮C之间的传动比iCH=nc/nH=1／4，便可实现自动分度。     

－类非线性微分方程解空间显易结构的唯一性

对所有形如的方程的集合Ｅ（Ｄ），引入线性变换群Ｇ（Ｄ），从而将Ｅ（Ｄ）进行等价分类，并由此提出解空间显易结构唯一性概念，指出Ｂｅｒｎｏｕｌｌｉ类方程具第一显易结构，但其显易结构不唯一，而任何非Ｂｅｒｎｏｕｌｌｉ类方程着具显易结构，则其显易结构必唯一．     

一种求解气动双曲方程的高精度差分格式DEM

本文建立了一种基于解本身及共导数所满足的微分方程之上的差分格式DEM(Double Equation Method)。这种差分格式不仅精度高,而且有效地消除了双曲方程高阶差分解中常出现的振荡现象。     

对偶网络拓扑法在场问题计算中的应用

网络拓扑法已被实践证明为一种有效实用的数值计算方法。它以数学分析简单、物理概念明确、单元剖分灵活、适用性强等优点,已被越来越多的场计算专家所采用,成为一种较优秀的数值分析方法。本文在普通网络拓扑法的基础上,以温度场计算为例,通过建立其能量泛函并求其极值,导出一种高精度的网络拓扑法——对偶网络拓扑法。在给定的求解精度条件下,由于两组网络计算时产生误差之间的补偿作用,使用该方法能有效地减少计算存贮空间、缩短计算用时。这对用微机求解复杂场问题是很有意义的。本文最后的实例虽然是针对温度场分析的,但对其他场问题完全适用,故具有普遍性。